Glässer, Uwe : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Campagne de collecte 15 septembre 2024 – 1 octobre 2024

Z-Library est une des plus grandes bibliothèques en ligne dans le monde, avec le stockage de plus de 17,000,000 livres et plus de 84,837,000 articles. Nous encourageons l'accès libre de chacun à la littérature. Aujourd'hui (15 septembre 2024) nous faisons un appel de fonds à tous ceux qui veulent contribuer encore plus au soutien et au développement de notre projet.

Les téléchargements SANS LIMITE sont aussi (au cours de 31 jours après la date de don) disponibles pour TOUS les utilisateurs qui soient en mesure de soutenir le projet pendant la période de collecte de fonds jusqu'au 1 octobre 2024.

C'est quoi, la collecte de fonds?En savoir plus

Faire un don

Livres
Articles (44)
Les plus populaires
Liste
- Liste
- Tableau

Sexual behaviour, sexual dysfunctions and related help seeking patterns in middle-aged and elderly Europeans: the global study of sexual attitudes and behaviors

Alfredo Nicolosi, Jacques Buvat, Dale B. Glasser, Uwe Hartmann, Edward O. Laumann, Clive Gingell, For the GSSAB Investigators’ Group

Journal:

World Journal of Urology

Année:

2006

Langue:

english

Fichier:

PDF, 260 KB

english, 2006

The CoreASM modeling framework

Roozbeh Farahbod, Uwe Glässer

Journal:

Software: Practice and Experience

Année:

2011

Langue:

english

Fichier:

PDF, 215 KB

english, 2011

Generating test cases for marine safety and security scenarios: a composition framework

Hamed Yaghoubi Shahir, Uwe Glässer, Roozbeh Farahbod, Piper Jackson, Hans Wehn

Journal:

Security Informatics

Année:

2012

Langue:

english

Fichier:

PDF, 951 KB

english, 2012

[IEEE 2015 IEEE International Conference on Big Data (Big Data) - Santa Clara, CA, USA (2015.10.29-2015.11.1)] 2015 IEEE International Conference on Big Data (Big Data) - Maritime situation analysis framework: Vessel interaction classification and anomaly detection

Shahir, Hamed Yaghoubi, Glasser, Uwe, Shahir, Amir Yaghoubi, Wehn, Hans

Année:

2015

Langue:

english

Fichier:

PDF, 727 KB

english, 2015

Personalized crime location prediction

TAYEBI, MOHAMMAD A., GLÄSSER, UWE, ESTER, MARTIN, BRANTINGHAM, PATRICIA L.

Journal:

European Journal of Applied Mathematics

Année:

2016

Langue:

english

Fichier:

PDF, 744 KB

english, 2016

[IEEE 2018 IEEE International Conference on Intelligence and Security Informatics (ISI) - Miami, FL, USA (2018.11.9-2018.11.11)] 2018 IEEE International Conference on Intelligence and Security Informatics (ISI) - Spatial Patterns of Offender Groups

Tayebi, Mohammad A., Shahir, Hamed Yaghoubi, Glasser, Uwe, Brantingham, Patricia L.

Année:

2018

Langue:

english

Fichier:

PDF, 119 KB

english, 2018

Formal description and analysis of a distributed location service for mobile ad hoc networks

Uwe Glässer, Qian-Ping Gu

Journal:

Theoretical Computer Science

Année:

2005

Langue:

english

Fichier:

PDF, 356 KB

english, 2005

Preliminary results from the pfizer report on sexual health in the second half of life: patient-physician communication

Clive Gingell, Nicolosi Alfredo, Uwe Hartmann, Ferruh Simsek, Dale Glasser

Journal:

European Urology Supplements

Année:

2002

Langue:

english

Fichier:

PDF, 216 KB

english, 2002

[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B and Z Volume 5977 || Towards Formalizing Network Architectural Descriptions

Frappier, Marc, Glässer, Uwe, Khurshid, Sarfraz, Laleau, Régine, Reeves, Steve

Année:

2010

Langue:

english

Fichier:

PDF, 211 KB

english, 2010

An agent-based model and computational framework for counter-terrorism and public safety based on swarm intelligencea

Andrew J Park, Herbert H Tsang, Mengting Sun, Uwe Glässer

Journal:

Security Informatics

Année:

2012

Langue:

english

Fichier:

PDF, 670 KB

english, 2012

[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B and Z Volume 5977 || Supporting Reuse in Event B Development: Modularisation Approach

Frappier, Marc, Glässer, Uwe, Khurshid, Sarfraz, Laleau, Régine, Reeves, Steve

Année:

2010

Langue:

english

Fichier:

PDF, 205 KB

english, 2010

[Lecture Notes in Computer Science] Rigorous Methods for Software Construction and Analysis Volume 5115 || Designing Old and New Distributed Algorithms by Replaying an Incremental Proof-Based Development

Abrial, Jean-Raymond, Glässer, Uwe

Année:

2009

Langue:

english

Fichier:

PDF, 224 KB

english, 2009

[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B and Z Volume 5977 || Event-B Decomposition for Parallel Programs

Frappier, Marc, Glässer, Uwe, Khurshid, Sarfraz, Laleau, Régine, Reeves, Steve

Année:

2010

Langue:

english

Fichier:

PDF, 264 KB

english, 2010

Executable formal specifications of complex distributed systems with CoreASM

Farahbod, Roozbeh, Gervasi, Vincenzo, Glässer, Uwe

Journal:

Science of Computer Programming

Année:

2014

Langue:

english

Fichier:

PDF, 1.32 MB

english, 2014

Abstract State Machines, Alloy, B and Z Selected papers from ABZ 2010

Frappier, Marc, Glässer, Uwe, Khurshid, Sarfraz, Laleau, Régine, Reeves, Steve

Journal:

Science of Computer Programming

Année:

2013

Langue:

english

Fichier:

PDF, 137 KB

english, 2013

[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B and Z Volume 5977 ||

Frappier, Marc, Glässer, Uwe, Khurshid, Sarfraz, Laleau, Régine, Reeves, Steve

Année:

2010

Langue:

english

Fichier:

PDF, 7.36 MB

english, 2010

[IEEE 2008 IEEE International Conference on Intelligence and Security Informatics (ISI 2008) - Taipei, Taiwan (2008.06.17-2008.06.20)] 2008 IEEE International Conference on Intelligence and Security Informatics - Identity management architecture

Glasser, Uwe, Vajihollahi, Mona

Année:

2008

Langue:

english

Fichier:

PDF, 269 KB

english, 2008

[IEEE 2012 IEEE International Conference on Intelligence and Security Informatics (ISI 2012) - Washington, DC, USA (2012.06.11-2012.06.14)] 2012 IEEE International Conference on Intelligence and Security Informatics - Anomaly detection in spatiotemporal data in the maritime domain

Avram, Vladimir, Glasser, Uwe, Shahir, Hamed Yaghoubi

Année:

2012

Langue:

english

Fichier:

PDF, 413 KB

english, 2012

[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B and Z Volume 5977 || Formalising and Validating RBAC-to-XACML Translation Using Lightweight Formal Methods

Frappier, Marc, Glässer, Uwe, Khurshid, Sarfraz, Laleau, Régine, Reeves, Steve

Année:

2010

Langue:

english

Fichier:

PDF, 200 KB

english, 2010

[IEEE 2013 IEEE International Conference on Intelligence and Security Informatics (ISI) - Seattle, WA, USA (2013.06.4-2013.06.7)] 2013 IEEE International Conference on Intelligence and Security Informatics - Maritime situation analysis

Shahir, Hamed Yaghoubi, Glasser, Uwe, Nalbandyan, Narek, Wehn, Hans

Année:

2013

Langue:

english

Fichier:

PDF, 471 KB

english, 2013

[IEEE 2010 IEEE International Conference on Intelligence and Security Informatics - Vancouver, BC, Canada (2010.05.23-2010.05.26)] 2010 IEEE International Conference on Intelligence and Security Informatics - Intelligent decision support for Marine safety and Security Operations

Glasser, Uwe, Jackson, Piper, Araghi, Ali Khalili, Shahir, Hamed Yaghoubi

Année:

2010

Langue:

english

Fichier:

PDF, 367 KB

english, 2010

[IEEE 2011 European Intelligence and Security Informatics Conference (EISIC) - Athens, Greece (2011.09.12-2011.09.14)] 2011 European Intelligence and Security Informatics Conference - Engineering Situation Analysis Decision Support Systems

Farahbod, Roozbeh, Avram, Vladimir, Glasser, Uwe, Guitouni, Adel

Année:

2011

Langue:

english

Fichier:

PDF, 2.34 MB

english, 2011

[IEEE 2011 IEEE International Conference on Intelligence and Security Informatics (ISI 2011) - Beijing, China (2011.07.10-2011.07.12)] Proceedings of 2011 IEEE International Conference on Intelligence and Security Informatics - An extensible decision engine for Marine Safety and Security

Jackson, Piper, Glasser, Uwe, Shahir, Hamed Yaghoubi, Wehn, Hans

Année:

2011

Langue:

english

Fichier:

PDF, 672 KB

english, 2011

[ACM Press the 20th ACM SIGKDD international conference - New York, New York, USA (2014.08.24-2014.08.27)] Proceedings of the 20th ACM SIGKDD international conference on Knowledge discovery and data mining - KDD '14 - Spatially embedded co-offence prediction using supervised learning

Tayebi, Mohammad A., Ester, Martin, Glässer, Uwe, Brantingham, Patricia L.

Année:

2014

Langue:

english

Fichier:

PDF, 884 KB

english, 2014

[IEEE 2014 IEEE Joint Intelligence and Security Informatics Conference (JISIC) - The Hague, Netherlands (2014.9.24-2014.9.26)] 2014 IEEE Joint Intelligence and Security Informatics Conference - Maritime Situation Analysis: A Multi-vessel Interaction and Anomaly Detection Framework

Shahir, Hamed Yaghoubi, Glasser, Uwe, Nalbandyan, Narek, Wehn, Hans

Année:

2014

Langue:

english

Fichier:

PDF, 640 KB

english, 2014

[IEEE 2011 International Conference on Advances in Social Networks Analysis and Mining (ASONAM 2011) - Kaohsiung City, Taiwan (2011.07.25-2011.07.27)] 2011 International Conference on Advances in Social Networks Analysis and Mining - Locating Central Actors in Co-offending Networks

Tayebi, Mohammad A., Bakker, Laurens, Glasser, Uwe, Dabbaghian, Vahid

Année:

2011

Langue:

english

Fichier:

PDF, 824 KB

english, 2011

[IEEE 2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM) - China (2014.8.17-2014.8.20)] 2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM 2014) - CRIMETRACER: Activity space based crime location prediction

Tayebi, Mohammad A., Ester, Martin, Glasser, Uwe, Brantingham, Patricia L.

Année:

2014

Langue:

english

Fichier:

PDF, 2.02 MB

english, 2014

[IEEE 2010 IEEE International Conference on Intelligence and Security Informatics - Vancouver, BC, Canada (2010.05.23-2010.05.26)] 2010 IEEE International Conference on Intelligence and Security Informatics - GENIUS: A computational modeling framework for counter-terrorism planning and response

Tsang, Herbert H., Park, Andrew J., Mengting Sun,, Glasser, Uwe

Année:

2010

Langue:

english

Fichier:

PDF, 642 KB

english, 2010

Computer Simulation in Criminal Justice Research

Brantingham, Patricia L., Brantingham, Paul J., Glässer, Uwe

Journal:

Criminal Justice Matters

Année:

2004

Langue:

english

Fichier:

PDF, 219 KB

english, 2004

[IEEE 2011 IEEE 9th International Conference on Dependable, Autonomic and Secure Computing (DASC) - Sydney, Australia (2011.12.12-2011.12.14)] 2011 IEEE Ninth International Conference on Dependable, Autonomic and Secure Computing - Organized Crime Structures in Co-offending Networks

Tayebi, Mohammad A., Glasser, Uwe

Année:

2011

Langue:

english

Fichier:

PDF, 962 KB

english, 2011

[Lecture Notes in Computer Science] Rigorous Methods for Software Construction and Analysis Volume 5115 || On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages

Abrial, Jean-Raymond, Glässer, Uwe

Année:

2009

Langue:

english

Fichier:

PDF, 332 KB

english, 2009

[ACM Press the fifth ACM conference - Chicago, Illinois, USA (2011.10.23-2011.10.27)] Proceedings of the fifth ACM conference on Recommender systems - RecSys '11 - CrimeWalker

Tayebi, Mohammad A., Jamali, Mohsen, Ester, Martin, Glässer, Uwe, Frank, Richard

Année:

2011

Langue:

english

Fichier:

PDF, 525 KB

english, 2011

[ACM Press the 20th International Conference - Redondo Beach, California (2012.11.06-2012.11.09)] Proceedings of the 20th International Conference on Advances in Geographic Information Systems - SIGSPATIAL '12 - Understanding the link between social and spatial distance in the crime world

Tayebi, Mohammad A., Frank, Richard, Glässer, Uwe

Année:

2012

Langue:

english

Fichier:

PDF, 377 KB

english, 2012

[IEEE 2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM) - China (2014.8.17-2014.8.20)] 2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM 2014) - Message from FOSINT-SI 2014 chairs

Erdem, Zeki, Glasser, Uwe, Kaati, Lisa, Zeng, Daniel

Année:

2014

Langue:

english

Fichier:

PDF, 44 KB

english, 2014

[IEEE 2015 IEEE International Conference on Big Data (Big Data) - Santa Clara, CA, USA (2015.10.29-2015.11.1)] 2015 IEEE International Conference on Big Data (Big Data) - Contextual verification for false alarm reduction in maritime anomaly detection

Radon, Aungon Nag, Wang, Ke, Glasser, Uwe, Wehn, Hans, Westwell-Roper, Andrew

Année:

2015

Langue:

english

Fichier:

PDF, 1.05 MB

english, 2015

SPIE Proceedings [SPIE SPIE Defense, Security, and Sensing - Orlando, Florida, USA (Monday 13 April 2009)] Multisensor, Multisource Information Fusion: Architectures, Algorithms, and Applications 2009 - A multi-layer network architecture for dynamic resource configuration and management of multiple mobile resources in maritime surveillance

Farahbod, Roozbeh, Dasarathy, Belur V., Glässer, Uwe, Khalili, Ali

Année:

2009

Langue:

english

Fichier:

PDF, 520 KB

english, 2009

An abstract machine architecture for web service based business process management

Farahbod, Roozbeh, Glasser, Uwe, Vajihollahi, Mona

Journal:

International Journal of Business Process Integration and Management

Année:

2006

Langue:

english

Fichier:

PDF, 227 KB

english, 2006

SPIE Proceedings [SPIE SPIE Defense and Security Symposium - Orlando, FL (Sunday 16 March 2008)] Multisensor, Multisource Information Fusion: Architectures, Algorithms, and Applications 2008 - Dynamic resource management for adaptive distributed information fusion in large volume surveillance

Farahbod, Roozbeh, Dasarathy, Belur V., Glässer, Uwe, Wehn, Hans

Année:

2008

Langue:

english

Fichier:

PDF, 901 KB

english, 2008

[Lecture Notes in Social Networks] Social Network Analysis in Predictive Policing ||

Tayebi, Mohammad A., Glässer, Uwe

Année:

2016

Langue:

english

Fichier:

PDF, 3.37 MB

english, 2016

[Lecture Notes in Social Networks] Social Network Analysis in Predictive Policing || Social Network Analysis in Predictive Policing

Tayebi, Mohammad A., Glässer, Uwe

Année:

2016

Langue:

english

Fichier:

PDF, 103 KB

english, 2016

[IEEE 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) - Kanpur, India (2016.11.18-2016.11.20)] 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) - Formal engineering frameworks in maritime domain awareness

Shahir, Amir Yaghoubi, Glasser, Uwe, Shahir, Hamed Yaghoubi, Tayebi, Mohammad A., Wehn, Hans

Année:

2016

Langue:

english

Fichier:

PDF, 513 KB

english, 2016

[IEEE 2016 IEEE International Conference on Big Data (Big Data) - Washington DC,USA (2016.12.5-2016.12.8)] 2016 IEEE International Conference on Big Data (Big Data) - Hidden Markov based anomaly detection for water supply systems

Zohrevand, Zahra, Glasser, Uwe, Shahir, Hamed Yaghoubi, Tayebi, Mohammad A., Costanzo, Robert

Année:

2016

Langue:

english

Fichier:

PDF, 733 KB

english, 2016

[ACM Press the 2017 ACM - Singapore, Singapore (2017.11.06-2017.11.10)] Proceedings of the 2017 ACM on Conference on Information and Knowledge Management - CIKM '17 - Deep Learning Based Forecasting of Critical Infrastructure Data

Zohrevand, Zahra, Glässer, Uwe, Tayebi, Mohammad A., Shahir, Hamed Yaghoubi, Shirmaleki, Mehdi, Shahir, Amir Yaghoubi

Année:

2017

Langue:

english

Fichier:

PDF, 1.34 MB

english, 2017

[IEEE 2019 IEEE International Conference on Big Data (Big Data) - Los Angeles, CA, USA (2019.12.9-2019.12.12)] 2019 IEEE International Conference on Big Data (Big Data) - Mining Vessel Trajectories for Illegal Fishing Detection

Shahir, Amir Yaghoubi, Tayebi, Mohammad A., Glasser, Uwe, Charalampous, Tilemachos, Zohrevand, Zahra, Wehn, Hans

Année:

2019

Fichier:

PDF, 1.35 MB

2019